From Interval Probability Theory To Computable Fuzzy First-Order Logic and Beyond
نویسنده
چکیده
This paper first presents a simple explanation for the min/max bounds which are used in interval probability theory ( I n ) [l], possibility theory [2], fuzzy rough sets [4], and vague logic [ 5 ] . Based on this definition, a computable version of first-order fuzzy logic is defined, where all of the upper bounds for instances of a theorem and its negation are guaranteed to eventually be listed. Based on this fuzzy logic, a complete version of fuzzy Prolog is defined This fuzzy Prolog is then used to give some examples of fuzzy Prolog definitions of fuzzy concepts such as fuzzy linguistic variables, fuzzy modifiers, fuzzy quantifiers, and various kinds of fuzzy norms and conorms.
منابع مشابه
Beyond First Order Logic: From number of structures to structure of numbers: Part I
We study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. We discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. This first part introduces the main conceps and philosophies anddiscu...
متن کاملBeyond first order logic: From number of structures to structure of numbers: Part II
We study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. We discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. This second part continues to study the question of catecoricitytrans...
متن کاملEffectiveness and Godel Theorems in Fuzzy
It is well known that the notions of a "decidable subset" and "recursively enumerable subset" are basic one for classical logic. In particular, they are basic tools for the proof of the famous limitative theorems about the undecidability and incompleteness of first order logic. Then, the question of a suitable extension of such concepts to fuzzy set theory arises. A first proposal in such a dir...
متن کاملIndirect Adaptive Interval Type-2 Fuzzy PI Sliding Mode Control for a Class of Uncertain Nonlinear Systems
Controller design remains an elusive and challenging problem foruncertain nonlinear dynamics. Interval type-2 fuzzy logic systems (IT2FLS) incomparison with type-1 fuzzy logic systems claim to effectively handle systemuncertainties especially in the presence of disturbances and noises, but lack aformal mechanism to guarantee performance. In contrast, adaptive sliding modecontrol (ASMC) provides...
متن کاملHandling uncertainty in the hydroinformatic process
Hydroinformatics combines topics of modelling and decision-making, both of which have attracted a great deal of attention outside hydroinformatics from the point of view of uncertainty. Epistemic uncertainties are due to the inevitably incomplete evidence about the dependability of a model or set of competing models. Inherent uncertainties are due to the varying information content inherent in ...
متن کامل